package com.example.mybatisplus.service;

import com.baomidou.mybatisplus.extension.plugins.pagination.Page;
import com.example.mybatisplus.model.domain.Area;
import com.example.mybatisplus.model.domain.Building;
import com.baomidou.mybatisplus.extension.service.IService;
import com.example.mybatisplus.model.dto.PageDTO;

import java.util.List;

/**
 * <p>
 *  服务类
 * </p>
 *
 * @author lxp
 * @since 2024-07-17
 */
public interface BuildingService extends IService<Building> {

    Page<Building> pageList(Building building, PageDTO dto);

    boolean removeBuilding(Building building);

    boolean forceRemoveBuilding(Building building);
    List<String> getAllBuildingNames();
}
